Merge pull request #3078 from HuijingHei/karg-delete-array
authorColin Walters <walters@verbum.org>
Tue, 17 Oct 2023 13:44:24 +0000 (09:44 -0400)
committerGitHub <noreply@github.com>
Tue, 17 Oct 2023 13:44:24 +0000 (09:44 -0400)
commitb9e73a38134c18bf0f81b1e1131ee410a602d463
treeb8af875e94708bf9052bf113633202e1190f909b
parentd788c5b5c9e847661918e1538e16d4afcaf99261
parent6716086250f9b1218165d89d4075b5a061f7cfdf
Merge pull request #3078 from HuijingHei/karg-delete-array

karg-delete: support multiple times